@echo off
echo this is just a placeholder file. it gets updated by the addin installer